- implicative syllogism
- мат.импликативный силлогизм
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Contraposition (traditional logic) — In traditional logic, contraposition is a form of immediate inference in which from a given proposition another is inferred having for its subject the contradictory of the original predicate, and in some cases involving a change of quality… … Wikipedia